From db4ac5dac9256f2b25336651325343311c56220d Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Fri, 27 Jul 2007 08:11:02 +0000
Subject: [PATCH] *** empty log message ***

---
 man/ChangeLog | 1 +
 1 file changed, 1 insertion(+)

diff --git a/man/ChangeLog b/man/ChangeLog
index 1692615969e..3b36ace5603 100644
--- a/man/ChangeLog
+++ b/man/ChangeLog
@@ -5,6 +5,7 @@
 	in-line.
 
 	* gpl.texi: New file with text of GPL.
+	* Makefile.in (EMACSSOURCES): Add gpl.texi.
 
 2007-07-26  Dan Nicolaescu  <dann@ics.uci.edu>
 
-- 
2.30.2